Conformance theory development: semantics, formal models, algorithms
نویسندگان
چکیده
منابع مشابه
Formal Methods for Conformance Testing: Theory Can Be Practical
Although testing is the most widely used technique to control the quality of software systems, it is a topic that, until relatively recently, has received scant attention from the computer research community. Although some pioneering work was already done a considerable time ago [Cho78,GG83,How78,Mye79], the testing of software systems has never become a mainstream activity of scientific resear...
متن کاملA formal approach to conformance testing
In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known ...
متن کاملFormal Methods and Conformance Testing or
In this paper, we will show the correlation between the notion of implementation relations known from formal methods and ideas of conformance testing. We will show that the implementation relations realized through the practical testing of systems come from a family of parameterized implementation relations. We will also show that for glass box testing, implementation relations parameterized by...
متن کاملImplementation of Conformance relation for incremental development of behavioural models
In this paper, we show how to implement the conformance relation on transition systems. The computability of this relation relies on the composition of two operators: the reduction relation whose computability has been proven in our previous work, and the merge function of acceptance graphs associated with transition systems under comparison. It is formally demonstrated, and illustrated through...
متن کاملFormal Semantics in Modern Type Theories: Theory and Implementation
Formal semantics based on Modern Type Theories (MTTs) provides us with not only a viable alternative to Montague Grammar, but potentially an attractive full-blown semantic tool with advantages in many respects. We shall introduce the MTT-based semantics and then study several issues such as adjectival modification, co-predication and coordination. Key comparisons to Montague Grammar are done al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of RAS
سال: 2014
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2014-26(1)-2